140.12/141.53	unsat
