105.50/107.78	unsat
