101.36/101.74	unsat
