97.64/101.09	unsat
