101.14/101.37	unsat
