100.70/101.70	unsat
