143.37/143.69	unsat
