100.92/101.18	unsat
