139.93/140.44	unsat
