1.68/2.34	unsat
