143.23/147.01	unsat
