85.25/101.89	unsat
