107.91/111.44	unsat
