105.96/107.06	unsat
