143.51/145.69	unsat
