101.05/101.67	unsat
