1.10/1.82	unsat
