0.00/1.71	unsat
