107.00/110.06	unsat
