0.99/1.71	unsat
