145.23/145.94	unsat
