1.10/1.73	unsat
