This is a simple main which runs MySatSolver
on the CNF stored in the file named in the first argument
within the time limit specified by the second argument.
An object in this class acts as a timer, indicating both how much
time has elapsed from the time the object was created, as well as
how much time remains until the end of a specified period.