0.00/1.93	unsat
