105.65/107.02	unsat
