107.78/110.92	unsat
