99.94/101.42	unsat
