143.78/145.53	unsat
