40.39/40.68	unsat
