100.34/101.62	unsat
