0.00/5.94	unsat
