145.10/148.53	unsat
