1.17/1.71	unsat
