143.08/143.37	unsat
