5.70/7.87	unsat
