142.61/142.87	unsat
