104.73/107.89	unsat
