143.71/145.42	unsat
