1.27/1.73	unsat
