141.34/144.10	unsat
