140.09/142.13	unsat
