1.68/5.25	unsat
