107.47/107.62	unsat
