101.49/101.95	unsat
