101.09/101.44	unsat
