107.52/110.57	unsat
