107.66/107.96	unsat
