105.00/107.11	unsat
