152.10/152.42	unsat
