101.62/101.84	unsat
