145.42/145.72	unsat
