147.12/152.21	unsat
