147.67/147.91	unsat
