142.15/142.69	unsat
