1.68/1.78	unsat
