139.91/143.39	unsat
