143.38/145.87	unsat
