98.20/101.68	unsat
