31.70/55.87	unsat
