100.97/101.34	unsat
