140.13/142.39	unsat
