107.27/109.72	unsat
