134.91/139.03	unsat
