4.08/6.87	unsat
