1.68/1.74	unsat
