1.68/4.87	unsat
