100.62/101.35	unsat
