98.13/101.71	unsat
