1.40/1.71	unsat
