107.71/109.97	unsat
