1.20/1.71	unsat
