106.45/147.13	unsat
