1.68/1.73	unsat
