1.68/4.95	unsat
