140.92/144.84	unsat
