Assignment 1 -part 1- Implementation Details 1. Define a class called SatSolver yourLastName>. 2. Define a class called Timer yourLastName> with three methods: start0, stop0 and getDuration). Measure time in milliseconds. 3. SatSolver yourLastName includes a "main" method, which should only do the following: a expects an input file name to be provided thro the command line argument. if the file name is not provided then the program exits with an error message. Note: You need to know how to provide a command line argument in Eclipse IDE b. Start the system clock using the start() in Timer yourLastName> c. Pass the input file name to an instance of SatSolver yourLastName> d. Stop the system clock using the stop in Timer yourLastName> e. Output the time taken to solve the problem to the standard output Write the SatSolver. 2. Define a class called Timer yourLastName> with three methods: start0, stop0 and getDuration). Measure time in milliseconds. 3. SatSolver yourLastName includes a "main" method, which should only do the following: a expects an input file name to be provided thro the command line argument. if the file name is not provided then the program exits with an error message. Note: You need to know how to provide a command line argument in Eclipse IDE b. Start the system clock using the start() in Timer yourLastName> c. Pass the input file name to an instance of SatSolver yourLastName> d. Stop the system clock using the stop in Timer yourLastName> e. Output the time taken to solve the problem to the standard output Write the SatSolver