4.08/4.87	unsat
