138.77/140.49	unsat
