4.70/4.87	unsat
