100.61/104.31	unsat
