107.04/109.91	unsat
