5.08/7.87	unsat
