1.68/3.51	unsat
