101.82/102.05	unsat
