107.93/109.91	unsat
