1.24/1.73	unsat
