97.80/101.33	unsat
