139.84/143.21	unsat
