100.55/101.52	unsat
