1.08/1.71	unsat
