142.30/142.55	unsat
