140.91/143.13	unsat
