107.42/107.67	unsat
