97.32/101.10	unsat
