101.22/101.57	unsat
